View Javadoc

1   // ZipFile.java, created Fri Jan 11 17:09:35 2002 by joewhaley
2   // Copyright (C) 2001-3 John Whaley <jwhaley@alum.mit.edu>
3   // Licensed under the terms of the GNU LGPL; see COPYING for details.
4   package joeq.ClassLib.ibm13_linux.java.util.zip;
5   
6   /***
7    * ZipFile
8    *
9    * @author  John Whaley <jwhaley@alum.mit.edu>
10   * @version $Id: ZipFile.java 1451 2004-03-09 06:27:08Z jwhaley $
11   */
12  public abstract class ZipFile {
13  
14      public static java.util.Vector inflaters;
15      
16      public static void init_inflaters() {
17          inflaters = new java.util.Vector();
18      }
19      
20      private String name;
21      private java.io.RandomAccessFile raf;
22      private java.util.Hashtable entries;
23      
24      public void __init__(String name) throws java.io.IOException {
25          this.name = name;
26          java.io.RandomAccessFile raf = new java.io.RandomAccessFile(name, "r");
27          this.raf = raf;
28          //this.inflaters = new java.util.Vector();
29          this.readCEN();
30      }
31      
32      private native void readCEN() throws java.io.IOException;
33  }